#ifndef __WWDG_H__
#define __WWDG_H__


void WWDG_Config(uint32_t prescaler, uint16_t window_value, uint16_t counter_value);
void WWDG_Feed(uint16_t counter_value);
#endif